(declare-fun _substvar_335_ () Int)
(declare-fun _substvar_417_ () Int)
(check-sat)
(declare-const i3 Int)
(check-sat)
(check-sat)
(push)
(assert (xor true true true true true true (= (mod i3 54) _substvar_417_) false true true true))
(push)
(assert false)
(push)
(check-sat)
(pop)
(pop)
(check-sat)
(push)
(assert false)
(check-sat)
(check-sat)
(pop)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(pop)
(assert (>= (mod (mod i3 54) _substvar_335_) 0 0))
(check-sat)
